bidirectional synonyms
from
PatternSynonyms
双方向
matchと構築ができる
構文
code:hs
pattern pat_lhs = pat
例
こう書いた時、
code:haskell
pattern MyJust x = Just x
以下の両方できる
code:haskell
MyJust 3
code:hs
case m of
MyJust x -> ...
https://haskell.jp/blog/posts/2018/about-ghc-exts-1.html#パターンマッチをより柔軟に扱えるようにする